自动套色系统总线转换器的设计与实现

利用TMS320F2812型DSP芯片设计了RS232与CAN总线相互转换的通信系统,较好地实现了自动套色系统上位机(套色操作主机)与各套色单元之间的实时通信.介绍了系统原理及其总体结构、硬件电路和软件设计.实验表明,本系统通信稳定、通信速度快、传输距离远、抗电磁干扰能力强,大大提高了整套自动套色系统的技术指标.     

基于ARM的超声波流量计A/D转换电路设计

针对高精度超声波流量计价格不菲的缺点,以时差法超声波流量计为理论基础,借鉴国内外先进的超声波流量测量技术,选用高性价比的12位低功耗模数转换器ADC12DL040芯片和ARM处理器LPC2138设计了基于ARM的超声波流量计A/D转换电路.实验结果表明所设计的A/D转换电路很好地实现了超声波回波信号的高速高分辨率采样,A/D的最小分辨时间为0.305ns.在解决超声波流量计关键技术问题的同时降低了生产成本,为低成本高精度超声波流量计的研制打下了坚实的基础.     

MT2RAID:一种高可靠大规模磁盘阵列结构

传统的磁盘阵列一般采用集中式控制结构,其连接的底层磁盘数受系统总线的制约,容易出现性能瓶颈,且不能容两个以上磁盘出错。从模块化系统的组织方法出发,提出一种采用标准模块化存储单元组成的通过胖树结构互连的大规模磁盘阵列结构MT2RAID,分别就其各种数据分布的性能和可靠性进行了分析和讨论。原型系统测试结果表明,相比集中式磁盘阵列结构,MT2RAID也具有较高的性能。     

基于分层象限空间的P2P超级节点查找技术

在目前的非结构化超级节点查找中,采用简单的泛洪或随机游走消息传递方式,效率不高,同时系统没有将非结构模糊查询和结构化数据定位方式有效地结合。提出一种基于分层象限空间的新型超级节点结构Quad,并在Quad上实现了两种非结构化超级节点查找方法:一是回溯扩展查找方法,该方法将泛洪和随机游走方式进行折衷,兼顾了网络流量和查询长度;二是利用Bloom Filter技术对回溯扩展查找进行改进。此外,Quad同时支持结构化数据定位。模拟结果表明,Quad查找在查询成功率、查找成本方面优于现有的超级节点查找方法。Bloom Filter能有效提高Quad查询效率并降低查找长度,同时Quad具有高效的定位性能。     

基于N-gram语言模型的哈萨克文机构名识别

针对哈萨克文文本中机构名构成特点,提出了一种基于N-gram语言模型的哈萨克文机构名可信度计算方法,并以机构名尾词为触发词,构建了一个哈萨克文机构名识别系统。系统分为训练和识别两个模块,识别过程是：首先从训练语料中提取特征进行训练,得到一个特征训练模型,然后利用训练好的特征模型及少量的附加规则,对测试文本中的机构名进行识别,实验结果表明该方法可行。     

面向网络虚拟环境的广告集成系统

随着互联网的快速发展,企业通过互联网广告开展品牌营销。网络虚拟环境中的集成广告,作为一种新兴的互联网广告形式,已成为工业界的热点。现有的广告集成系统的业务流程是以广告代理商为主导,应用运营商并没有参与。这种流程不符合中国的运营现状。提出了一种以应用运营商为主导的广告集成系统,包含平台运营商、应用开发商、应用运营商、广告代理商、广告主等多种角色。他们分别执行各自的功能,通过广告引擎与管理平台的相互协作,实现了以应用运营商为主导的广告集成业务流程。     

管理信息系统开发的通用建模框架①

为解决管理信息系统开发中的复杂性以及维护困难的问题,提出了一种基于Eclipse平台建模框架（Eclipse Modeling Framework,EMF）的管理信息系统应用建模方法,并形成了一套通用的建模开发框架,以高校教务管理系统为例,实现了从平台无关模型到J2EE平台上平台相关模型的自动转换,验证了这一开发框架具有提高开发效率、扩展性强、维护成本低等优势。     

Hunter:一种指令集体系结构无关的二进制级动态测试用例生成技术

动态测试用例生成技术是一类新兴的软件测试技术。由于使用该类技术无需任何人工干预,也无需验证人员具备任何专业知识,同时该类技术能够无误地发现程序错误,越来越多的研究者采用该技术查找预发布的二进制级软件错误。然而,已有的该类技术及其实现系统不具有可重定向性,只能处理面向某种特定指令集体系结构(ISA)的二进制代码,进行测试用例的生成与查错。本文提出了一种全新的指令集体系结构无关的二进制级动态测试用例生成技术,以及实现该技术的系统Hunter。与已有的动态测试用例生成技术不同,Hunter具有极强的可重定向性,可对任何指令集体系结构的二进制代码进行查错,定向地为其生成指向不同执行路径的测试用例。Hunter定义了一套元指令集体系结构(MetaISA),将在二进制代码执行过程中收集到的所有执行信息映射为MetaISA,并对生成的MetaISA序列进行符号化执行、约束收集、约束求解以及测试用例生成,从而使整个过程与ISA无关。我们实现了Hunter,将其重定向至32位x86、PowerPC和Sparc ISA,并使用该系统为6个含有已知错误的测试程序查错。实验结果表明,由于MetaISA的引入,只需很小的开销,Hunter系统即可容易且有效地重定向至不同的ISA,并且Hunter能够有效地发现面向32位x86、PowerPC和Sparc ISA编写的二进制应用中隐藏极深的错误。     

一种基于矩阵度量的缺陷管理流程的改进与实践

本文在分析软件过程中缺陷类型、缺陷注入、缺陷识别的基础上,对传统缺陷管理流程进行改进,增加了缺陷排除有效性的度量方法;然后提出一种实用的软件缺陷管理流程,建立了一个以软件缺陷生命周期为基础的度量模型,并给出了相应的缺陷矩阵度量方法;最后把该缺陷管理流程和度量方法应用在某公司的两个软件项目中,对各阶段的缺陷进行了度量,经实践和数据分析得出,运用此缺陷管理流程和度量方法可以为开发团队设定具体阶段目标和质量计划提供数据基础,为过程控制、过程评价、持续改进等提供量化管理的基础,表明本文改进后的缺陷管理流程和度量方法模型是有效的。     

跨站脚本漏洞的白盒测试框架的设计和实现

伴随着B/S架构的流行和Web2.0时代的迅速发展,由于对不可信用户数据缺乏正确的校验机制,造成跨站脚本漏洞广泛地存在于各类网站中,并严重威胁用户安全。其主要原因在于服务端代码和客户端脚本的混合,使得当前技术无法准确而有效地生成攻击向量,探测跨站脚本漏洞。本文基于静态数据流特征分析,依据脚本注入位置和攻击向量模式设计了新的分析模糊器,通过采用字符串约束求解技术来验证攻击向量的有效性,并实现了白盒测试框架的原型系统XSS-Explore。实验结果表明,与同类工具相比,该系统能够较全面而准确地检测跨站脚本漏洞。